1. Elements de logique mathematique; theorie des modeles
پدیدآورنده : Kreisel, Georg
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
K77
2. Elements de logique mathematique)Theorie des models(
پدیدآورنده : Kreisel, Georg
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and Mathematical
رده :
QA
9
.
K7
3. Elements of mathematical logic ; model theory
پدیدآورنده : Kreisel, Georg
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical models
رده :
QA
9
.
K772
1971
4. Modelltheorie : eine Einfuhrung in die mathematische Logik und Grundlagentheorie
پدیدآورنده : Kreisel, Georg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
K7715
1972